Análise de sistemas de prova de conhecimento nulo
نویسنده
چکیده
Os sistemas de prova de conhecimento nulo (zero-knowledge proof systems) desempenham um papel de relevo nas aplicações criptográficas modernas, estando na base de diversos protocolos mais complexos, como esquemas de identificação, protocolos de eleição electrónica e protocolos de pagamento por intermédio de moedas electrónicas. Diversas propriedades de anonimato de muitos destes protocolos, como por exemplo o anonimato da abstenção nas eleições electrónicas e o anonimato do pagamento electrónico, são consequência da impossibilidade de transferência da prova dos sistemas de prova de conhecimento nulo. Neste trabalho mostra-se como é posśıvel atacar estas propriedades de anonimato por intermédio de máquinas seladas (tamper-proof machines). Este resultado é ilustrado tanto com máquinas clássicas como com máquinas quânticas, sendo evidenciadas as vantagens e desvantagens de ambos os casos.
منابع مشابه
Utilizando sistemas de conhecimento para a identificação da presença de metas flexíveis em uma linguagem de domínio
Resumo: A utilização de sistemas de conhecimento em problemas que não são totalmente conhecidos ou bem definidos permite entender esses problemas de maneira exploratória, simulando situações e soluções utilizando técnicas de inteligência artificial. A abordagem inicial utilizada nos projetos de pesquisa do grupo tinha como foco apenas verificar a presença de atributos de transparência em modelo...
متن کاملPravastatin transdermal patch: Effect of the formulation and length of microneedles on in- vitro percutaneous absorption studies.
Transdermal patches loaded with pravastatin was previously characterized in another published study by Serrano-Castañeda et al; 2015. These transdermal patches (TP) were generated by the plate casting technique, the in vitro percutaneous absorption studies of TP were evaluated for three different formulations of TP with different quantities of Pluronic F-127 (PF-127): i) without PF-127 (TP W), ...
متن کاملPravastatin transdermal patch: Effect of the formulation and length of microneedles on in- vitro percutaneous absorption studies.
Transdermal patches loaded with pravastatin was previously characterized in another published study by Serrano-Castañeda et al; 2015. These transdermal patches (TP) were generated by the plate casting technique, the in vitro percutaneous absorption studies of TP were evaluated for three different formulations of TP with different quantities of Pluronic F-127 (PF-127): i) without PF-127 (TP W), ...
متن کاملAprimorando Processos de Imputação Multivariada de Dados com Workflows
� Knowledge discovery in databases usually face the problem of missing values. Thus there are several preprocessing mechanisms that aim to make data imputation. However, these mechanisms normally deal with univariate cases, i.e. cases that present missing values in only one column. Iterative imputation mechanisms are capable of dealing with cases that present missing values in several columns, ...
متن کاملLogicOO uma metodologia para modelagem e construção de sistemas multimídia distribuídos
Resumo: Este trabalho descreve a implementação de um sistema de vídeo sob demanda seguindo o framework para desenvolvimento de sistemas orientados a objetos “LogicOO”. Este framework utiliza o conceito de ontologias no seu nível mais alto de abstração, o que permite o reuso do conhecimento sobre o domínio analisado. O protótipo construído, denominado Hipervisão, disponibiliza aos seus usuários ...
متن کامل